
\predicates {
	p(int);
}

\functions {
	int x; int y; int z;
}

\problem {
	p(x) & p(y) & p(z)
->
	y >= 5*x - 1 & y <= 5*x
->
	5*z <= y - 1 & 5*z >= y - 2
->
	false
}
